Feeds to Scour
SubscribedAll
Scoured 256106 posts in 2.80 s
CogitatorTech/minish: A property-based testing framework for Zig ⚡
github.com·2d·
Discuss: Hacker News
🎲Quickcheck
Preview
Report Post
Schema Validation Passed - So Why Did My Pipeline Fail?
dev.to·11h·
Discuss: DEV
✅SQLx Compile-Time Verification
Preview
Report Post
GHC 9.12.3 is now available
haskell.org·20h
📐Type Theory
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·1h
💎Refinement Types
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·2h
⏭️Skip Lists
Preview
Report Post
JavaScript vs Go: A Deep Dive into Syntax and Philosophy
dev.to·2h·
Discuss: DEV
🐹golang
Preview
Report Post
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·5h
🔒S2N-QUIC
Preview
Report Post
BankGPT TryHackMe Writeup Walkthrough
infosecwriteups.com
·16h
🔍Linux BPF
Preview
Report Post
Show HN: AgentCmds – A directory of slash commands for AI agents
agentcmds.work·10h·
Discuss: Hacker News
🛡️Error Handling
Preview
Report Post
Quantum Catalyst: Next-Gen QC emulator/solver/AI
reddit.com·2d·
Discuss: r/LLM
⚛️Quantum Computing
Preview
Report Post
The production bug that made me care about undefined behavior
gaultier.github.io·10h·
Discuss: Hacker News, r/programming
🔬Miri
Preview
Report Post
ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.
github.com·2h·
Discuss: Hacker News
🏭Code Generation
Preview
Report Post
Deno 2 vs Node.js vs Bun in 2026: The Complete JavaScript Runtime Comparison
pockit.tools·10h·
Discuss: DEV
🥖Bun
Preview
Report Post
Measuring no CoT math time horizon (single forward pass)
lesswrong.com·1d
🎲Deterministic Simulation
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🏗️Pavex
Preview
Report Post
Running Code and Failing Models – Rajiv Shah
projects.rajivshah.com·1d
📱Edge AI
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.io·5h
🦗Pest
Preview
Report Post
Rethinking Absence: A Gentle Introduction to the Option Type in TypeScript
npmjs.com·2d·
Discuss: DEV
📦Serde
Preview
Report Post
Software Architecture with C++: Designing robust C++ systems with modern architectural practices, Edition 2 by Andrey Gavrilin, Adrian Ostrowski, Piotr Gaczkowski
play.google.com·2d·
Discuss: r/cpp
🔨Incremental Compilation
Preview
Report Post
LangGrinch Vulnerability in LangChain Core Enables RCE via Prompt Injections
webpronews.com·1d
🛡️AI Security
Preview
Report Post